/* ==============================================================================
*
*   Copyright (c) 2010, Pierre Favier
*   All rights reserved.
*
*   NTasking is free software: you can redistribute it and/or modify it
*   under the terms of the GNU General Public License as published by the
*   Free Software Foundation.
*
*   Redistribution and use in source and binary forms, with or without
*   modification, are permitted provided that the following conditions
*   are met:
*
*   -   Redistributions of source code must retain the above copyright notice,
*       this list of conditions and the following disclaimer.
*
*   -   Redistributions in binary form must reproduce the above
*       copyright notice, this list of conditions and the following
*       disclaimer in the documentation and/or other materials
*       provided with the distribution.
*
*   THIS SOFTWARE IS PROVIDED "AS IS" AND ANY EXPRESS OR IMPLIED
*   WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
*   OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
*   DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS
*   BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
*   EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED
*   TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
*   DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON
*   ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR
*   TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF
*   THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
*   SUCH DAMAGE.
*
* ============================================================================== */

using System;
using NUnit.Framework;
using Rhino.Mocks;
using Rhino.Mocks.Constraints;

namespace NTasking.ValidationTests.ACATS_3_0.B9
{

    [TestFixture(Description = "")]
    public class B952004 : ValidationTest
    {

        private class T1 : ValidationTestTask
        {

            [Entry]
            internal Action E0 { get; private set; }


            [Entry]
            internal Action<int> E1 { get; private set; }


            [Entry]
            internal ActionFamily<char> Family { get; private set; }


            internal T1(IValidationTestResult result)
                : base(result)
            {
            }


            protected override void Body()
            {
                Accept(E0, () =>
                {
                    // Error :
                    // accept_statement cannot be nested inside another 
                    // accept_statement for same entry_declaration
                    Accept(E0);
                });

            }

        }


        private class T2 : ValidationTestTask
        {

            [Entry]
            internal Action E0 { get; private set; }


            [Entry]
            internal Action<int> E1 { get; private set; }


            [Entry]
            internal ActionFamily<char> Family { get; private set; }


            internal T2(IValidationTestResult result)
                : base(result)
            {
            }


            protected override void Body()
            {
                int L;

                Accept(E0, () =>
                {
                    Select(s => s.
                        Accept(E1, (x) =>
                        {
                            L = x;
                        }).
                    Or.
                        // Error :
                        // accept_statement cannot be nested inside another 
                        // accept_statement for same entry_declaration
                        Accept(E0)
                    );
                });
            }

        }


        private class T3 : ValidationTestTask
        {

            [Entry]
            internal Action E0 { get; private set; }


            [Entry]
            internal Action<int> E1 { get; private set; }


            [Entry]
            internal ActionFamily<char> Family { get; private set; }


            internal T3(IValidationTestResult result)
                : base(result)
            {
            }


            protected override void Body()
            {
                Delay.Select(1.0).
                ThenAbort(() =>
                {
                    // Error :
                    // accept_statement cannot be inside an asynchronous_select
                    Accept(E0);
                });
            }

        }


        private class T4 : ValidationTestTask
        {

            [Entry]
            internal Action E0 { get; private set; }


            [Entry]
            internal Action<int> E1 { get; private set; }


            [Entry]
            internal ActionFamily<char> Family { get; private set; }


            internal T4(IValidationTestResult result)
                : base(result)
            {
            }


            protected override void Body()
            {
                Accept(Family['A'], (char index1) =>
                {
                    Accept(Family['B'], (char index2) =>
                    {
                        // Error :
                        // nested accepts for the same entry, even if the family
                        // members are different, is not permitted.
                    });
                });
            }

        }


        [Test]
        [Description(
            "Check that an accept_statement is not allowed within an " +
            "asynchronous_select inner to the enclosing task_body.")]
        public void Test()
        {
            IValidationTestResult result = Mocks.DynamicMock<IValidationTestResult>();
            T1 t1 = null;
            T2 t2 = null;
            T3 t3 = null;
            T4 t4 = null;

            Ada.Declare(() =>
            {
                t1 = new T1(result);
                t2 = new T2(result);
                t3 = new T3(result);
                t4 = new T4(result);

                // Setup text expectations

                Expect.Call(() => result.TaskThrewException(null, null, 0)).
                    IgnoreArguments().
                    Constraints(Is.Same(t1), Is.TypeOf(typeof(SyntaxError)), Is.Equal(Errors.InvalidNestedAcceptError));

                Expect.Call(() => result.TaskThrewException(null, null, 0)).
                    IgnoreArguments().
                    Constraints(Is.Same(t2), Is.TypeOf(typeof(SyntaxError)), Is.Equal(Errors.InvalidNestedAcceptError));

                Expect.Call(() => result.TaskThrewException(null, null, 0)).
                    IgnoreArguments().
                    Constraints(Is.Same(t3), Is.TypeOf(typeof(SyntaxError)), Is.Equal(Errors.AcceptNotAllowedInAbortablePartError));

                Expect.Call(() => result.TaskThrewException(null, null, 0)).
                    IgnoreArguments().
                    Constraints(Is.Same(t4), Is.TypeOf(typeof(SyntaxError)), Is.Equal(Errors.InvalidNestedAcceptError));

                Expect.Call(() => result.TestFailed()).Repeat.Never();

                Mocks.ReplayAll();
            },
            Begin: () =>
            {
                // Start test execution

                try
                {
                    t1.E0();
                    result.TestFailed();
                }
                catch
                {
                }

                try
                {
                    t2.E0();
                    result.TestFailed();
                }
                catch
                {
                }

                try
                {
                    t4.Family['A']();
                    result.TestFailed();
                }
                catch
                {
                }
            });
        }

    }

}
